(navigation image)
Home American Libraries | Canadian Libraries | Universal Library | Community Texts | Project Gutenberg | Children's Library | Biodiversity Heritage Library | Additional Collections
Search: Advanced Search
Anonymous User (login or join us)
Upload
See other formats

Full text of "A reflexive HI space with the hereditary Invariant Subspace Property"

A REFLEXIVE HI SPACE WITH THE HEREDITARY 
INVARIANT SUBSPACE PROPERTY 



SPIROS A. ARGYROS, PAVLOS MOTAKIS 



Abstract. A reflexive hereditarily indecomposable Banach space Xjgp 
is presented, such that for every Y inflnite dimensional closed subspace 
of Xjsp and every bounded linear operator T : Y ^ Y, the operator T 
admits a non-trivial closed invariant subspace. 



Introduction 

The invariant subspace problem asks whether every bounded hnear oper- 
ator on an infinite dimensional separable Banach space admits a non-trivial 
closed invariant subspace. A classical result of M. Aronszajn and K.T. 
Smith [9] asserts that the problem has a positive answer for compact op- 
erators. This result was extended by V. Lomonosov [18] for operators on 
complex Banach spaces that commute with a non-trivial compact operator. 
Recently G. Sirotkin [27] has presented a version of Lomonosov's theorem 
for real spaces. It is also known that the problem, in its full generality, 
has a negative answer. Indeed P. Enflo [13] and subsequently C. J. Read 
[23], [23] have provided several examples of operators on non-reflexive Banach 
spaces that do not admit a non-trivial invariant subspace. Also recently a 
non-reflexive hereditarily indecomposable (HI) Banach space Xk with the 
"scalar plus compact" property has been constructed [7]. This is a £oo space 
with separable dual, resulting from a combination of HI techniques with the 
fundamental J. Bourgain and F. Delbaen construction [lOj- As consequence, 
the space Xk satisfies the Invariant Subspace Property (ISP). All the above 
results provide no information in either direction within the class of reflexive 
Banach spaces. 

The aim of the present work is to construct a reflexive Banach space Xjgp 
with the hereditary ISP. Namely, every infinite dimensional closed subspace 
of Xjgp satisfies ISP, a property which is unknown for the aforementioned 



2010 Mathematics Subject Classification: Primary 46B03, 46B06, 46B25, 46B45, 47A15 
Key words: Spreading models, Strictly singular operators. Invariant subspaces. Reflex- 
ive spaces, Hereditarily indecomposable spaces 

1 



2 



S.A. ARGYROS, P. MOTAKIS 



space Xk- It is notable that no subspace of Xjgp has the "scalar plus com- 
pact" property. More precisely, the strictly singular operator^ on every 
subspace Y of Xjgp form a non separable ideal (in particular, the strictly 
singular non-compact are non-separable). 

The space Xjgp is a hereditarily indecomposable space and every operator 
T G >C(Xjgp) is of the form T = XI + S with S strictly singular. We 
recall that there are strictly singular operators in Banach spaces without 
non-trivial invariant subspaces [25]. On the other hand, there are spaces 
where the ideal of strictly singular operators does not coincide with the 
corresponding one of compact operators and every strictly singular operator 
admits a non-trivial invariant subspace. The most classical result in this 
direction, due to V. Milman [19j, concerns the strictly singular operators in 
-L^'[0, 1],1 ^ p < cxD,C[0, 1]. This is a consequence of Lomonosov-Sirotkin 
theorem and the fact that the composition TS is a compact operator, for any 
T, S strictly singular operators, on any of the above spaces. In [2J, Tsirelson 
like spaces satisfying similar properties are presented. The possibility of 
constructing a reflexive space with ISP without the "scalar plus compact" 
property emerged from an earlier version of [2]. 

The following describes the main properties of the space j£jgp . 

Theorem. There exists a reflexive space jtjgp with a Schauder basis {en}n<=N 
satisfying the following properties. 

(i) The space Xjgp is hereditarily indecomposable. 

(ii) Every seminormalized weakly null sequence {x„}„gN has a subse- 
quence generating either £i or cq as a spreading model. Moreover 
every infinite dimensional subspace Y of Xjgp admits both ii and cq 
as spreading models. 

(iii) For every Y infinite dimensional closed subspace of Xjgp and every 
T G >C(y, Xjgp), T = Xly^^^^ + S with S strictly singular. 

(iv) For every Y infinite dimensional subspace of Xjgp the ideal S{Y) of 
the strictly singular operators is non separable. 

(v) For every Y subspace of Xjgp and every Q, S, T in S(Y) the operator 
QST is compact. Hence for every T € S(Y) either = or T 
commutes with a non zero compact operator. 

(vi) For every Y infinite dimensional closed subspace of X and every 
T € >C(y), T admits a non-trivial closed invariant subspace. In par- 
ticular every T ^ XIy, for A G M admits a non-trivial hyperinvariant 
subspace. 

It is not clear to us if the number of operators in property (v) can be 
reduced. For defining the space Xjgp we use classical ingredients like the 



A bounded linear operator is called strictly singular, if its restriction on any infinite 
dimensional subspace is not an isomorphism. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



3 



coding function a, the interaction between conditional and unconditional 
structure, but also some new ones which we are about to describe. 

In all previous HI constructions, one had to use a mixed Tsirelson space 
as the unconditional frame on which the HI norm is built. Mixed Tsirelson 
spaces appeared with Th. Schlumprecht space [26], twenty years after 
Tsirelson construction p8]. They became an inevitable ingredient for any 
HI construction, starting with the W.T. Gowers and B. Maurey celebrated 
example [16j, and followed by myriads of others etc. The most signif- 

icant difference in the construction of Xjgp from the classical ones, is that it 
uses as an unconditional frame the Tsirelson space itself. 

As it is clear to the experts, HI constructions based on Tsirelson space, 
are not possible if we deal with a complete saturation of the norm. Thus 
the second ingredient involves saturation under constraints. This method 
was introduced by E. Odell and Th. Schlumprecht |20j.[21j for defining 
heterogeneous local structure in HI spaces, a method also used in [2]. By 
saturation under constraints we mean that the operations {^,Sn) (see Re- 
mark [T3]) are applied on very fast growing families of averages, which are 
either a-averages or /3-averages. The a-averages have been also used in 
[20], [21], while /3-averages are introduced to control the behaviour of special 
functionals. It is notable that although the a, /3-averages do not contribute 
to the norm of the vectors in Xjgp , they are able to neutralize the action 
of the operations {-^jSn) on certain sequences and thus cq spreading mod- 
els become abundant. This significant property yields the structure of X^^p 
described in the above theorem. 

Let us briefly describe some further structural properties of the space 

X 

•^isp • 

The first and most crucial one is that for a (n, e) special convex combina- 
tion (see Definition II. 9p Yli^zp CiXi, with {xi}i£F a finite normalized block 
sequence, we have that 

W^CiXiW ^ — + 12e 

This evaluation is due to the fact that the space is built on Tsirelson space 
and differs from the classical asymptotic ii HI spaces (i.e. [3], [8]) where 
seminormalized (n,e) s.c.c. appear everywhere. A consequence of the above, 
is that the frequency of the appearance of RIS sequences is significantly 
increased, which yields the following. Every strictly singular operator maps 
sequences generating cq spreading models to norm null ones. Furthermore 
for every two strictly singular operators T, S : Xjgp — > Xjgp such that TS is 
non-compact and every weakly null sequence such that {TSxn}n is 

not norm convergent, the following holds. Every spreading model generated 
by a subsequence of {TSxn}n is cq. Combining the above properties we 
conclude property (v) of the above theorem. 



4 



S.A. ARGYROS, P. MOTAKIS 



We thank G. Costakis for bringing to our attention G. Sirotkin's paper 

1. The norming set of the space Xjgp 

In this section we define the norming set W of the space Xjgp . This set 
is defined with the use of the sequence {Sn}n which we remind below and 
also families of 5„-admissible functionals. 

As we have mentioned in the introduction, the set W will be a subset of 
the norming set Wt of the Tsirelson space. 

The Schreier families. The Schreier families is an increasing sequence of 
families of finite subsets of the naturals, first appeared in [ij, inductively 
defined in the following manner. 

Set So = {{n} : n G N} and 5i = {F C N : #F ^ minF}. 

Suppose that 5„ has been defined and set = {F C N : F = Uj^^Fj, 
where Fi < • • • < G 5„ and k ^ min Fi } 

If for n,m G N we set 5„ * 5m = {F C N : F = U^=iF,-, where Fi < 
• • • < Ffc G Sm and {miuFj : j = 1, . . . ,k} £ then it is well known that 

Sn * Sm = Sji+m ■ 

Notation. A sequence of vectors xi < ■ ■ ■ < in cqo is said to be 5,^- 
admissible if {minsuppxj :i = l,...,A;}G5„. 

Let G C Coo- A vector / G G is said to be an average of size s{f) = n, if 
there exist fi, . . . , fd G G,d ^ n, such that / = H \- fd)- 

A sequence {fj}j of averages in G is said to be very fast growing, if 
/i < /2 < • • •, s{fj) > (maxsupp/j_i)2 and s{fj) > for j > 1. 

The coding function. Choose L = {ik ■ k G N},£i > 2 an infinite subset 
of the naturals such that: 

(i) For any A: G N we have that ik+i > 2^^^ and 

(ii) Yjk=i ^ < Tooo- 

Decompose L into further infinite subsets Li,L2. Set 

Q = {((/i,ni),...,(/m,nm)) :mGN,{nfc}^^i CN,/i < ... </mGcoo 
with fk{i) G Q, for 2 G N, /c = 1, . . . , m} 

Choose a one to one function a : Q — >• L2, called the coding function, such 
that for any ((/i, ni), . . . , {fm,nm)) € Q, we have that 

'7((/i,ni), . . . , {fm,nm)) > 2""" • maxsupp/m 

Remark 1.1. For any n G N we have that #L n {n, . . . , 2^"} ^ 1. 

The norming set. The norming set W is defined to be the smallest subset 
of Coo satisfying the following properties: 

1. The set {±e„}„gN is a subset of W, for any / G we have that — / G W, 
for any f £W and any / interval of the naturals we have that If€W and 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



5 



W is closed under rational convex combinations. Any / = ie^ will be called 
a functional of type 0. 

2. The set W contains any functional / which is of the form / = ^ Sj=i '^j ; 
where {aj}j^i is an 5„-admissible and very fast growing sequence of a- 
averages in W. If / is an interval of the naturals, then g = izlf is called a 
functional of type !„, of weight w{g) = n. 

3. The set W contains any functional / which is of the form f = ^ X]j=i f^j > 
where {Pj}'^^^ is an 5.„-admissible and very fast growing sequence of /?- 
averages in VF. If / is an interval of the naturals, then g = ±If is called a 
functional of type I/3, of weight ■w{g) = n. 

4. The set W contains any functional / which is of the form / = ^ Sj=i /? ' 
where {fj}j=i is an 5i-admissible special sequence of type Iq, functionals. 
This means that w{fi) G Li and w{fj) = a{{fi,w{fi)),. . . , {fj-i,w{fj-i))), 
for j > 1. If / is an interval of the naturals, then g = 'tif is called a func- 
tional of type II with weights (^{g) = {w{fj) : ran /j fl / 7^ 0}. 

We call an a-average any average a ^ W oi the form a = ^ Si=i /?' ^ ^ 
n, where /i < • • • < /d € W. 

We call a /3-average any average /3 € of the form /3 = ^ Si=i /? ' ^ ^' 
where /i, • • • , /d € are functionals of type II, with disjoint weights w{fj)- 

In general, we call a convex combination any f W that is not of type 
0, Iq,, 1/3 or II. 

For X G Coo define ||x|| = sup{/(a;) : / G W} and Xjgp = (coo(N), || • \\). 
Evidently Xjgp has a bimonotone basis. 

One may also describe the norm on Xjgp with an implicit formula. Indeed, 
for some x G Xjgp , we have that 

^ d 1 

|jx|| = max{||x||o, ||x||//, sup{— ^ H-EjxH^J, sup{— ^ ||Sjx||f^.}} 

where the inner suprema are taken over all re G N, all ^^-admissible intervals 
{Ej}j^^ of the naturals and ki < ■ ■ ■ < such that kj > (max£'j_i)^ for 

j>l- 

By ||x||77 we denote 
||x||// = sup{/(x) : / G is a functional of type II} 
whereas for j G N, by ||x||" we denote 
||x||^ = sup{a(x) : a G is an a-average of size s{a) = j} 

Similarly, by ||x||^ we denote 

||x||^ = sup{/3(x) : /? G is a /3-average of size s(/3) = j}. 

Remark 1.2. Very fast growing sequences of a-averages have been consid- 
ered by E. Odell and Th. Schlumprecht in [20], [21] and were also used in 



6 



S.A. ARGYROS, P. MOTAKIS 



[2j. However, /3-averages are a new ingredient, introduced to control the be- 
haviour of type II functionals on block sequences. The /^-averages can also 
be used to provide an alternative and simpler approach of the main result 
in [21]. 

As we have mentioned in the introduction, the ||2:||^, \\z\\j, which are 
averages, do not contribute to the norm of the vector z. On the other hand, 
the {II ■ lljlj, {II • have a significant role for the structure of the space 
•^isp • 

Remark 1.3. The norming set W can be inductively constructed to be the 
union of an increasing sequence of subsets {Wm}m=o °f '^oo, where Wq = 
{-^n}neN and if has been constructed, then set VF^+i to be the closure 
of Wm under taking a-averages, W^_^_l to be the closure of W^^^ under 
taking type Iq, functionals, W^_^_i to be the closure of W^_^_i under taking 
type 1/3 functionals, W^+i to be the closure of VF^+i under taking type 
II functionals, VF^+i *° closure of Wj^_|_]^ under taking /^-averages 

and finally Wm+i to be the closure of W^^j^^ under taking rational convex 
combinations. 

Tsirelson space. Tsirelson's initial definition [2^ of the first Banach space 
not containing any £p, 1 ^ p < oo or cq, concerned the dual of the so called 
Tsirelson norm which was introduced by T. Figiel and W. B. Johnson [15] 
and satisfies the following implicit formula. 

1 

\\x\\t = max{||x||o, sup{-^ ||£;jx||r}} 

j=i 

where x € cqo and the inner supremum is taken over all successive subsets 
of the naturals d ^ Ei < ■ ■ ■ < E^. Tsirelson space T is defined to be the 
completion of (cqo, || • ||t)- In tbe sequel by Tsirelson norm and Tsirelson 
space we will mean the norm and the corresponding space from |15j . 

As is well known, a norming set Wt of Tsirelson space is the smallest 
subset of Coo satisfying the following properties. 

1. The set {±en}neN is a subset of Wt, for any / G Wt we have that 
— / € Wt-, for any / G Wt and any E subset of the naturals we have that 
Ef G Wt and Wt is closed under rational convex combinations. 

2. The set Wt contains any functional / which is of the form f = \ X]j=i fji 
where {/j}^=i is a Si admissible sequence in Wt- 

Remark 1.4. The following are well known facts about Tsirelson space. 

(i) The norming set Wt can be inductively constructed to be the union 
of an increasing sequence of subsets {W^jJ^^g of cqo, in a similar 
manner as above. 

(ii) The set VF^, which is the smallest subset of cqo satisfying the follow- 
ing properties, also is a norming set for Tsirelson space. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



7 



1. The set {+e„}„gN is a subset of W^, for any / G we have 
that — / € VF-p and for any / S and any E subset of the naturals 
we have that Ef G W^. 

2. The set contains any functional / which is of the form / = 
h X]j=i /j) where {fj}j^i is a <Si admissible sequence in W/p. 

Remark 1.5. It is easy to check that the norming set Wt of Tsirelson 
space is closed under {-^^Sn) operations, namely for any /i < • • • < in 
Wt iS„-admissible, the functional ^ Yl'j=i fj ^ ^t- This explains that the 
normine set W of the subset of Wt- Therefore Tsirelson 

space is the unconditional frame on which the norm of Xjgp is built. As we 
mentioned in the introduction, Xjgp is the first HI construction which uses 
Tsirelson space instead of a mixed Tsirelson one. 

As it is shown in (see also |12j). an equivalent norm on Tsirelson 
space is described by the following implicit formula. For x G cqo set 

^ 2d 

|||.t||| =max{||x||o, sup{- ^ 

i=i 

where the inner supremum is taken over all successive subsets of the naturals 
d ^ El < ■ ■ ■ < E2d- Then, for any {ckYj^^i ^^^^ following holds. 

n n n 

(1) W'^CkCkllT ^ III X^Cfeefcl ^ 3|| y^Cfcefcllr 

k=l k=l k=l 

Remark 1.6. A norming set ^^(t,|||-|||) foi' (T, ||| • |||) is also defined in a similar 
manner as Wt- 

Special convex combinations. Next, we remind the notion of the {n,e) 
special convex combinations, (see [1],[6],[8]) which is one of the main tools, 
used in the sequel. 

Definition 1.7. Let x = Ylk&F ^k^-k be a vector in cqo- Then x is said to 
be a (n,e) basic special convex combination (or a (n,e) basic s.c.c.) if: 

(i) F G 5„, Cfe ^ 0, for A; G F and Y.k(^F ^fc = 1- 

(ii) For any G C F,G & <Sn-i, we have that J2k€G < ^- 

The proof of the next proposition can be found in Chapter 2, Propo- 
sition 2.3. 

Proposition 1.8. For any M infinite subset of the naturals, any n G N and 
e > 0, there exists F C M, {ck}keF, such that x = '^k&pCkek is a (n,e) 
basic s.c.c. 

Definition 1.9. Let xi < - - - < Xm be vectors in cqo and ip{k) = minsuppx^, 
for /c = 1, . . . , m. Then x = X^fcLi CfcX^ is said to be a (n,e) special convex 
combination (or (n,e) s.c.c), if X^^Li Cfce^(fc) is a (n,e) basic s.c.c. 



8 



S.A. ARGYROS, P. MOTAKIS 



2. The basic inequality 

In this section we prove the basic inequaUty for block sequences in Xjgp , 
with the auxihary space actuahy being Tsirelson space. This will allow us 
to evaluate the norm of (n, e) special convex combinations and it is critical 
throughout the rest of the paper. 

Definition 2.1. Let f £ W he a functional of type Iq or I^, of weight 
w{f ) = n, f = ^ Si=i Then, by definition, there exist Fi < ■ ■ ■ < Fp 
successive intervals of the naturals such that: 

(i) ul,F,={l,...,d} 

(ii) {minsupp fj : j £ Fi} G 5„_i, for i = 1, . . . ,p 

(iii) {minsupp /minF, : i = 1, . . . ,p} S 5i 

Set gi = ZjeF, /?■' iov i = 1, . . . ,p. We call {gjf^i a Tsirelson 
analysis of /. 

Remark 2.2. If / € is a functional of type I^ or I^ and is 
a Tsirelson analysis of /, then fi G W, is 5i-admissible and / = 

k Yl^=i /«' although {fi}^^i may not be a very fast growing sequence of a- 
averages or /3-averages. Moreover, if w{f) > 1, then fi is of the same type 
as / and w{fi) = w{f) — 1 for i = 1, . . . ,p. 

The tree analysis of a functional f € W. A key ingredient for evaluating 
the norm of vectors in Xjgp is the analysis of the elements / of the norming 
set W. This is similar to the corresponding concept that has occurred in 
almost all previous HI and related constructions (i.e. [3], [4], [7], [8]). Next 
we briefly describe the tree analysis in our context. 

For any functional f G W we associate a family {/aIasA, where A is a 
finite tree which is inductively defined as follows. 

Set /0 = /, where denotes the root of the tree to be constructed. If / 
is of type 0, then the tree analysis of / is {fz}. Otherwise, suppose that the 
nodes of the tree and the corresponding functionals have been chosen up to 
a height p and let A be a node of height |A| = p. If /a is of type 0, then 
don't extend any further and A is a maximal node of the tree. 

If fx is of type Iq, or Ip, set the immediate successors of A to be the 
elements of the Tsirelson analysis of fx. 

If fx is of type II, / = | Yl'j=i fji the immediate successors of A to be 
the {f,}%v 

If fx is a convex combination, which includes a-averages and /3-averages, 
fx = X^j=i Cj/j, set the immediate successors of A to be the {fj}'j=i- 

By Remark 11.31 it follows that the inductive construction ends in finitely 
many steps and that the tree A is finite. 

Remark 2.3. Let f £ W and {/aIasA be a tree analysis of /. Then for any 
A G A not a maximal node, such that fx is not a convex combination, we 
have that fx = ^ E^igsucc{A) /m' where {/^}^gsucc(A) are 5i-admissible and 
by succ(A) we denote the immediate successors of A in A. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



9 



Remark 2.4. In a simpler manner, for any / G (see Remark ll.4l (ii)). 

the tree analysis of / is defined. 

Proposition 2.5. Let x = J2keF ^k^k be a (n,e) basic s.c.c. and G C F. 
Then the following holds. 

fcGG fcGG 

Proof. Let / G W^. We may assume that supp/ C G. Set Gi = {/c G 
supp/ : |/(efe)| ^ ^},G2 = supp/\Gi. Then clearly \Gif{Y.keG^kek)\ ^ 

We will show by induction that G2 G Let {/aIagA be a tree analysis 

of G2/. Then it is easy to see that h{A) ^ n — 1. For A a maximal node 
in A, we have that supp /a G Sq. Assume that for any AgA, |A| = /c>0 
we have that supp /a G Sn-i-k and let A G A, such that |A| = k — 1. 
Then fx = ^ T!j=i /Aj> where |Aj| = k, supp/A^, G Sn-k-i for j = 1, . . . ,d 
and {minsupp/Aj. : j = 1, . . . , d} G 5i. Then supp /a = U^'^i supp /a^. G 

'5n-l-(fc-l)- 

The induction is complete and it follows that G2 = suppG2/ G Sn^i 
and therefore G2f{Y,k(iG^k(ik) ^ EfceGa < ^- Hence, |/(EfcGG CfcCfc)! < 
2^ Z^fceG '^fe + ^• 

□ 

Proposition 2.6 (Basic Inequality). Let {xk}k be a block sequence in Xjgp 
such that \\xk\\ ^ 1, for all k and let / G W. Set (;^(/c) = maxsuppj;fc, for 
all k. Then there exists g G 1^(t,||||||) (see Remark 1 1.6p such that 2(7(e^(fc)) ^ 
/(xfc), for all /c. 

Proof. Let {/aIasA be a tree analysis of /. We will inductively construct 
{^aIagA such that for any A G A the following are satisfied. 

(i) gx G and 2gx{e^(j,)) > fx{xk), for any k. 

(ii) supp^A C {(pik) : ran fx n ranx^ 7^ 0} 

For A G A a maximal node, if there exists k such that ran /a Pi ran 7^ 0, 
set 5(A = Otherwise set (^a = 0. 

Let A G A be a non-maximal node, and suppose that {5'^}^>a have been 
chosen. We distinguish two cases. 

Case 1: fx is a convex combination (i.e. fx is not of type 0, Iq,, I/3, or II). 

If fx = I]^gsucc(A) C/i/^, set gx = Yj^i&\icc(\) '^fidfi- 

Case 2: fx is not a convex combination. 



10 S.A. ARGYROS, P. MOTAKIS 

If /a = ^ Ej=i f^^J^ where succ(A) = such that f^i,<■■■<ff,a^ 

set 

Gx = {fc : ran Z;^ n ranxfc 7^ 0} 

Gi = {k €z G\ : there exists at most one j with lanf^. D ran j;^ ^ 0} 
G2 = {fc € Gx : there exist at least two j with ran f^. ranxfe 7^ 0} 
= {k £ Gi : ran Xfc Pi ran /^^. 7^ 0} for j = 1, . . . , d. 

Observe that #^2 ^ d - 1. 

For i = 1, . . . , d set 5^. = g^^ and for A; G G2 set gk = e*^^^y It is easy 

to check that if we set gx = ^{ Yl'j=i 9j + YlkeG2 ' ^^^^ S'A is the desired 
functional. 

The induction is complete. Set g = g^ 

□ 

Remark 2.7. In the previous constructions (see [3], [4], [7], [8]), the basic 
inequality is used for estimating the norm of linear combinations of the basis 
as well as to determine whether particular sequences are RIS. In the present 
paper the basic inequality has a weaker role, namely only to estimate the 
norm of the (n, e) s.c.c. In order to determine if a sequence is RIS, different 
techniques will be deployed in the next sections. 

Corollary 2.8. Let {xk}^ be a block sequence in Xjgp such that ||a;fc|| ^ 
1) {cfcjfc C M and (/>(/c) = maxsuppx^ for all k. Then: 

II ^CfcXfcll ^ 6|| y^Cfce^(fc)||T 

k k 

Proof. Let f £ W. Apply the basic inequality and take g G ^(t,||| |||)) such 
that if (/'(fc) = maxsuppxfc and = sgn(ck)xk for all k, we have that 
'^g{e<f,(k)) ^ fiVk), for any k. It follows that 

k k 

Therefore, applying ([T|), we get 

II ^Cfcj;fc|| ^ 2||| ^ |cfc|e0(fc)||| = 2||| ^ Cfce<^(fc) ||| ^ 2 • 3|| ^ Cfce^(fc) ||r 

k k k k 

□ 

Corollary 2.9. Let x = J2T=i ^k^k be a (n, e) s.c.c. in Xjgp , such that 
||xfc|| ^ 1, for k = 1, . . . ,m. If F C {1, . . . , m}, then 

II ^ CfcXfcll ^ ^^Ck + 12e. 

k£F keF 

In particular, we have that ||x|| ^ + 12e. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



11 



Proof. Set (j){k) = maxsuppx^, V'(fe) = minsuppxfc. Corollary 12.81 yields 

that II EfcGFCfcajfell ^ 6|| X;fceFCfce0(fc)||T• 
Since, according to the assumption, YlikeF '^k^i^ik) is a (n,e) basic s.c.c, 

it easily follows that Ylk&F ^ke4>(k) is a (n, 2e) basic s.c.c. 
By Proposition 12.51 the result follows. 

□ 

Corollary 2.10. The basis of Xjgp is shrinking. 

Proof. Suppose that it is not. Then there exist x* S X*gp,||x*|| = 1, a 
normalized block sequence {x^j/jgN in jCjgp and 5 > 0, such that x*{xk) > S, 
for all /c G N. 

Choose n G N, such that ^ < j2 and e > 0, such that e < ^. By 
Proposition 11.81 there exists F a subset of N, such that x = YlkeF '^k^k is a 
(n, e) s.c.c. 

By Corollary 12.91 we have that 6 > ||a;|| ^ x*{x) > S. A contradiction, 
which completes the proof. □ 

Proposition 2.11. The basis of Xjgp is boundedly complete. 

Proof. Assume that it is not. Then there exist e > and {xfcjfcgN a block 
sequence in 3£jgp, such that ||xfc|| > e and || ^^^fcll ^ 1; for all m G N. 

Choose ko such that d = minsuppxjtQ > |. Set Fi = {ko} and inductively 
choose Fi, . . . , Fd, intervals of the naturals such that 

(i) max Fj + 1 = minFj+i, for j < d and 

(ii) #Fj > max{#Fj_i, (maxsuppXmaxF,_i)^}, for I < j ^ d. 

Then, if we set yj = Ylik&Fj ^k, we have that || Yl'j=i VjW ^ 1- 
On the other hand, notice that for j = 1,. . . ,d, there exists aj an a- 
average in W, such that 

(i) ranoj C rant/j, therefore {oj}^^^ is 5i -admissible. 

(ii) s{aj) = #Fj, therefore {aj}j^i is very fast growing. 

(iii) ajivj) > e 

From the above it follows / = ^ Sj=i i® ^ functional of type in W 
and /(X]j=i Uj) > ^ > 1- Since this cannot be the case, the proof is 
complete. □ 

These last two results and a well known result due to R. C. James [17], 
allow us to conclude the following. 

Corollary 2.12. The space jCjgp is reflexive. 

3. The q,/3 indices 

To each block sequence we will associate two indices related to a and /3 
averages. In this section we will show that every normalized block sequence 
{xn}n has a further normalized block sequence {yn}n such that on it both 



12 



S.A. ARGYROS, R MOTAKIS 



indices a and /3 are equal to zero. As we will show in the next section, this 
is sufficient, for a sequence to have a subsequence generating a cq spreading 
model. 

Definition 3.1. Let {xfcjfcgis^ be a block sequence in Xjgp that satisfies the 
following. For any n S N, for any very fast growing sequence {agjggpj of 
a-averages in W and for any {-Ffej/cgN increasing sequence of subsets of the 
naturals, such that {aq\q<^Fu is >Sn-admissible, the following holds. For any 
{a^nfcjfceN subsequence of {xfcjfceN, wc have that linife X^^eFfe \(^q{^nu)\ = 0- 

Then we say that the a-index of {xftlfegp^ is zero and write Q;({a;fe}fe) = 0. 
Otherwise we write > 0. 

Definition 3.2. Let {xjtjfcgN be a block sequence in Xjgp that satisfies the 
following. For any n G N, for any very fast growing sequence {|3q\q^^ of 
/3-averages in W and for any {-PfejfegN increasing sequence of subsets of the 
naturals, such that {liq}qeFk is <Sn-admissible, the following holds. For any 
{xnu}km subsequence of {xfcjfcgN, we have that linifc Y^q^^Pu \P<ii^rik)\ = 0- 

Then we say that the /3-index of {x/jj^gf^ is zero and write fi(^{xk)k) = 0- 
Otherwise we write /3({a;fc}fc) > 0. 

Proposition 3.3. Let {xfcjfegH be a block sequence in Xjgp. Then the 
following assertions are equivalent. 

(i) a{{xk}k) = 

(ii) For any e > there exists j'o G N such that for any j ^ Jq there exists 
kj G N such that for any k ^ kj, and for any {o(q}q=i ^j-admissible 
and very fast growing sequence of a-averages such that s{aq) > jo, 
for g = 1, . . . , d, we have that Ylq=i \'^q{xk)\ < 

Proof. It is easy to prove that (i) follows from (ii), therefore we shall only 
prove the inverse. Suppose that (i) is true and (ii) is not. 

Then there exists e > such that for any jo € there exists j ^ jo, such 
that for any k^ G N, there exists k ^ kg and {aq}^^i a 5j-admissible and 
very fast growing sequence of a-averages with s{aq) > jo, for g = 1, . . . , d, 
such that X]g=i \aq{xk)\ ^ 

We will inductively choose a subsequence {a;„.}igN and {a^jjgN a very 
fast growing sequence of a-averages, such that |a*(x„.)| > |, for any i. This 
evidently yields a contradiction. 

For jo = 1, there exists ji ^ 1, such that there exists a subsequence 
{xkj}j€N of {ajfejfceN) a sequence {agjggN of a-averages with s{aq) > 1 for 
all g G N and {FjjjgN a sequence of increasing intervals of the naturals, 
such that: 

(i) {aq}q^Fj is very fast growing and ^j^-admissible. 

(ii) EgeF,- l«<?(a^fej)l ^ ^• 

(iii) If Fj = Fj \ {minFj}, then {ctq} g^u jF'. is very fast growing. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



13 



Since a[{xk}k) = 0, we have that hnij J2qeF' \'^g{^kj)\ = 0. Choose j such 
that \aramFjixk^)\ > f and set ni = kj,a^ = aminFy 

Suppose that we have chosen ni < ■ ■ ■ < Up and {a^}^_i a very fast 
growing sequence of a-averages, such that [a*(x„J| > |, for i = 1, . . . ,p. 

Set jo = max{s(aP), (maxsupp q^)^} and repeat the first inductive step 
to find an a-average a with s(a) > jo and Xk > Xup, Xk > a^, such that 
^ |. Set Xn^+i = Xk and = a|ranzfc- The inductive construction 
is complete and so is the proof. □ 

The proof of the next proposition is identical to the proof of the previous 
one. 

Proposition 3.4. Let {xfej^gN be a block sequence in Xjgp. Then the 
following assertions are equivalent. 

(i) P{{xk}k)=0 

(ii) For any e > there exists jo € N such that for any j ^ jo there exists 
kj € N such that for any k ^ kj, and for any {(3q}'^^^ 5j-admissible 
and very fast growing sequence of /3-averages such that > jo, 
for g = 1, . . . , d, we have that \/3q{xk)\ < S- 

Proposition 3.5. Let {xfcjfcgi^ be a seminormalized block sequence in Xjgp , 
such that either a[{xk}k) > 0, or f3[{xk}k) > 0. Then there exists c > 
and a subsequence {xnf,}k£N of {xfcjfcgN, that generates an spreading 
model, with a lower constant for all n € N. 

In particular, for any /co,^ € N, e > 0, there exists F a finite subset of N 
with miuF ^ k^ and {ck}keF, such that x = Ylik&F '^kXn,, is a (n,e) s.c.c. 
and ||a;|| > 

Proof. Assume that a{{xk}k) > 0. Then there exist £ € N,e > 0, {oglggN a 
very fast growing sequence of a-averages, {i<fe}fcgN increasing subsets of the 
naturals such that {aq}q^Fk is 5^-admissible for all A; E N and {xnj.}fceN a 
subsequence of {a^fcjfcgN, such that Y^qeF^ l'^g(^nfc)l > ^> for all G N. Pass, 
if necessary ,to a subsequence, again denoted by {xn,^}keNj generating some 
spreading model. 

By changing the signs and restricting the ranges of the aq, we may assume 
that X^qgiT'j. ctq(x„j,) > e, for all fc G N and rana^ C ranx^j, for any q £ Fk 
and A: G N. Set c = ^. 

Let fco,?! G N,e > 0. By Proposition 11.81 there exists F a finite subset of 
{uk : k^ ko} and {ck}keF, such that x = YlkaF^kXri^ is a (n,e) s.c.c. 

Set / = 2?T^r Z^fceF X^qeKj, '^q- Then / is a functional of type Iq in W 

and f{x) > 27qr7r = 

Arguing in the same way, for any n G N, for any F G 5„, for any 
{ck}k&F C M, we have that || ^keF'^kXriJ > #" T^keF kfcl- 
The proof is exactly the same if P[{xk}k) > 0. 

□ 



14 



S.A. ARGYROS, P. MOTAKIS 



Block sequences with a-index zero. In this subsection we show that 
seminormalized sequences with Xk = 2'^'=?/^, with {nk,ek) s.c.c. 

have a-index zero. Also we introduce the a-RIS sequences and we prove 
that the aforementioned sequences have a-RIS subsequences. 

Lemma 3.6. Let x = X^^i CkXk be a (n, e) s.c.c. in Xjgp , such that ^ 
1, for k = 1, . . . ,m. Let also a be an a-average and set Ga = {k : ran a n 
r&nxk 7^ 0}- Then the following holds. 

\a{x)\ < min{— ^ ^ Cfc, ^ Ck + I2e} + 2max{cfc : k G Ga} 

Proof. Ifa = iEti/j- Set 
El = {k £ Ga ■ there exists at most one j with van fj n ranx^ / 0} 
E2 = {!,..., m}\^i 

Jk = {j ■ ran/j fl ranx^ ^ 0} for A; € £'2. 
Then it is easy to see that 



(2) \a{Y,CkXk)\^lYl 



P 



Ck 



Moreover 

(3) \a{ ^ CkXk)\ < 2max{cfc : k G Ga} 

To see this, notice that 

|a( ^ CkXk)\ ^ - Ck{ ^ \fj{xk)\) < max{cA: : k G Ga} — 

Set J = {j : there exists k G Ei such that ran fj n ran x^ / 0} and for 
j £ J set Gj = {A; € ii^i : ran/j n ranx^ 7^ 0}- Then the Gj are pairwise 
disjoint and Uj^jGj = Ei. 

For j € J, CorollaryESlyields that \ fjiY,keGj CkXk)\ ^ ^ Y^keGj Cfc + 12e. 

Therefore 

(4) |a(j;c,Xfc)K-^|/,(^c,Xfc)|^— ^ Cfc + 12e 

fcGEi ^ jeJ keGj ^ k&Ga 

Then ^ and (j!]) yield the following. 

1 6 

(5) |a( ^ CfcXfc)! ^ min{-— ^ c^, — — - Cfc + 12e} 
By summing up ([3]) and ([5]) the result follows. 

□ 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



15 



Lemma 3.7. Let x = Y2T=i'^kXk be a {n,e) s.c.c. in Xjgp , such that 
\\xk\\ ^ 1, for k = l,...,m. Let also {ag}"^^^ be a very fast growing and 
cSj-admissible sequence of a-averages, with j < n. Then the following holds. 

fi 2-2" 

2" y \ag{x)\ < + — + 18 • 2"e + 2^^e 

s[ai) mm supp X 

Proof. Set qi = min{g : rana^ fl ran a; 7^ 0}. For convenience assume that 
qi = 1. Then by Lemma 13.61 we have that 

(6) 2"|ai(x)| < -^ + 12-2"e + 2-2"e 

s(ai) 

Set 

Ji = {9 > 1 • there exists at most one k such that rana^ H ranx^ ^ 0} 
J2 = {q>l-q^ Ji} 

= {k : ranog n ranxj^ 7^ 0} for q> \. 
Gi = {k : there exists g € Ji with rana^ fl ranxfc 7^ 0} 

Then {minsuppxfc : A; € Gi} € 5^, hence X^fegGi '^^ ^ ^• 
It is easy to check that 

(7) 2" ^ 2^' • 2" II E ^'^^'^11 < 2'"^ 

For g G J2 ; Lemma 13.61 yields that 

2" 
s(ag) 



2"|ag(x)| < y Cfc + 2 • 2"max{cfc : A; G G"} 



2" 

< — V Cfc + 2 • 2"cfc, 

mm supp X ^-^ 

where kg G C, such that Ck^ = maxjcfc : k G G^}. 

Then {minsuppxyt^ : g G J2} G 5j. By the above we conclude that 

2 2" 

(8) 2"V|ag(x)|<— + 4-2"e 

' mm supp x 

Summing up (l6|), ([7]) and ([8]), the desired result follows. 

□ 



Proposition 3.8. Let {x^l^gN be a block sequence in Xjgp such that Xk = 
2"'° J2ieFk ^iVi satisfying the following: 

(i) {'^fcjfceN is a strictly increasing sequence of naturals. 

(ii) Sis-Ffe '^iVi ^ ('^fcjSfc) s.c.c. such that || ^ 1 for all i G F^, for 
all G N. 

(in) minsuppxfc > 4 • 2^"* and < (40 • 2^"'=)"^, for ah A; G N. 
Then a{{xk}k) = 0. 



16 S.A. ARGYROS, P. MOTAKIS 

Proof. We shall make use of Proposition 13.31 Let e > and choose jo G N 
such that ^ < f • For j ^ jo, choose kj, such that > j and < |. 

For k ^ kj, Lemma 13.71 yields that if {0^}^^^ is a very fast growing and 
5j-admissible sequence of a-averages and s{aq) > jo, for g = 1, . . . , d, we 
have that 

E. , 6 1 e e 

g=l 

□ 

Proposition 3.9. Let x = YlT=i ^kXk be a (n, e) s.c.c. in Xjgp , such that 
\\xk\\ ^ 1, for A; = 1, . . . , m, minsuppx > 4 • 2^" and e < (40 • 2^")^-*^. Then 
for any f W functional of type !„, such that 'w{f) = j < n, we have that 
2"|/(x)| < ^. 

Proof. Let / = ^ Ylq=i ^ functional of type Iq, with weight w{f) = 

j < n. Then Lemma 13.71 yields that 

1 1 c o on 7 

2"|/(x)| ^ — (2"y |a„(x)|) < — (^^+ +18-2"e+22M ^ — 

i.yv;i\2J^ Z^i 9V 2J ai minsuppx ^ ^ 2J 

q=l 

□ 

Definition 3.10. A block sequence {xk}k is said to be a (C, {71^}^) a- 
rapidly increasing sequence (or {C,{nk}k) a-RIS), for a positive constant 
C ^ 1 and a strictly increasing sequence of naturals {n^lfc, if ||xfc|| ^ C for 
all k and the following conditions are satisfied. 

(i) For any k, for any functional / of type Iq, of weight w{f) = j < 
we have that \f{xk)\ < ^ 

(ii) For any k we have that ^nl+i maxsuppx^ < 

Remark 3.11. Let {x/cj/cgN be a block sequence in Xjgp , such that there 
exist a positive Constance C and {nk}keN strictly increasing naturals, such 
that \\xk\\ ^ C for all k and condition (i) from Definition 13.101 is satisfied. 
Then passing, if necessary, to a subsequence, {xfcjfcgN is (C, {rifclfceN) a-RIS. 

Proposition 3.12. Let {xk}k£N be a block sequence in Xjgp with x^ = 
2"*= X^ieFfc '^iUi satisfying the following: 

(i) {nk}keN is a strictly increasing sequence of naturals. 

(ii) J^jgj? cfyf is a {nk,ek) s.c.c. such that || ^ 1 for all i G F^, for 
all k£N. 

(iii) minsupp > 4 ■ 2^"'= and Sk < (40 • 2^"'=)"^ for all A; G N. 

Then passing, if necessary, to a subsequence, {xfcjfcgN is (7, {nk}k) a-RIS. 

Proof. Corollary 12.91 yields that ||a;fc|| < 7 while Proposition 13.91 yields that 
(i) from Definition 13. 101 is satisfied. By Remark 13.111 the result follows. □ 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



17 



Block sequences with /3-index zero. In this subsection we first prove 
that every increasing seminormalized (n, En) s.c.c. built on an a-RIS block 
sequence has /3-index zero. This yields that every block sequence has a 
further block sequence with both a, (3 indices equal to zero. We start with 
the following technical lemma. Its meaning becomes more transparent in 
the following Corollary 13.141 and Lemmas I3.15( 13.161 

Notation. Let x = Yl'k=i^kXk be a (n,e) s.c.c. such that {xk}^^i is 
(C,{nfc}^=i) a-RIS with 2^" < m. Let also / = \ Yfj=ifj be a type II 
functional. Set 

Jo = {j : n 5^ ^/,) < 22"} 

h = {] ■■ w{fj) < n} 

h = {3:2'^^w{f,)<n^} 

Jk = {j ■■ nk ^ w{fj) < Uk+i}, for k <m and = {j : rim < w{fj)} 

Under the above notation the following lemma holds. 

Lemma 3.13. Let x = X^^Li CkXk be a (n, e) s.c.c. ^ 2 such that 

the following are satisfied: 

(i) {xk}i:=i is (C,{nfc}-^,) a-RIS with 2^- < m. 
(i) minsuppx > 4C • 2^'" and e < (40C23")~^ 

Let also f = \ Yl'j=i fj be a functional of type II. Then there exists Fj C 
{xk ■ ran / PI ran j;^ 7^ 0} with {minsuppj;fc ■ k £ Ff} G S2 such that 

^k=2jeJk k=l jeJk 

+ y — ^ + y + cr y ck 

iG/i jG/2 ^ kGFf 



Proof. Notice that {Jk}k^=i are disjoint intervals of {1, ... , d} and that gk = 
hEjejJj G VF, for fc= l,...,m. 

Set Ff = {k : van gk Hranxfc ^0}- It easily follows that {minsuppx^ : 
k G Ff} G S2 and that 

on 

Let ko ^ m, j G Jk^- Then 

(10) 2-\MY,CkXk)\ < C^;^^j^j^ and 2"j/,( c,x,)| < 



18 S.A. ARGYROS, P. MOTAKIS 

Proposition 13.91 yields that for j G Ii we have that 2"|/j (x)| < -^if-j and 
hence 

For j e I2 we have that 2"|/j(x)| < and therefore 

je/2 je/2 
Corollary 12 . 91 yields that 2"||x|l < 7C, and since Iq is an interval, it follows 
that i T^jeio fj Therefore 

nn 

(13) yIE/^-(^)i<7^ 

Summing up ([2]) to ([T3D the desired result follows. 

□ 

The next corollary will be useful in the next sections, when we define the 
notion of dependent sequences. 

Corollary 3.14. Let x = X^fcLi CfcX^ be a (n,e) s.c.c. in Xjgp,?7, ^ 3 such 
that the following are satisfied: 

(i) {xk}T=i is (C,K,}- a-RIS with 2^^ < m. 
(i) minsuppx > 4C • 2^" and e < (40C23")-i. 

Let also f = \ Sj=i fj be a functional of type II with w{f) n {n, . . . , 2^^^} = 
0. Then 

2'^|/(x)| < C(— + 4-+ y ^7T + 2"e) 

{i:«'(/j)<"} 

Proof. Apply Lemma 13.131 Then the following holds. 

(14) 2-i/wi < 2 

^fc=2jeJfe k=i jeJi, 



+ (:72"e 
Notice the following. 

^ 2"fc 2^ 2 

(^^) H H 2«'(/j)+«fc-i ^ 2^ ^ 22" 

2" T-:,^ ^-^ 2" / 1.2 



(16) E:^ + EE:w7:t = 2"( E 



2u'(/j) ^ 2'"(-/'j) ^ ^ 2'"(/j)'^ 2*^ 



HEREDITARY INVARIANT SUBSPACE PROPERTY 19 

Applying ^ and (HH]) to ([HI the result follows. □ 

Lemma 3.15. Let x = YlT=i '^k^k be a (n, e) s.c.c. in X^^p , n ^ 2 such that 
the following are satisfied: 

(i) {xk}T=i is {C,{nk}lU) a-RIS with 2^'' < m. 

(ii) minsuppx > 4C22" and e < (40C23")-i. 

Let also /3 be a /3-average. Then there exists C {xk ■ ran ^ n ran x^ 7^ 
0} with {minsuppxfc : k £ Fjj} G S2 such that 



Proof. If /3 = i X]g=i then by definition the /g are functionals of type II 
with disjoint weights w{fq)- 

For convenience, we may write fq = where the index sets 

Gg,q = 1, . . . ,p are pairwise disjoint. Notice that for ii,j2 € G,ji 7^ j2 we 
have that w{fj^) 7^ w[fj^). 

By slightly modifying the previously used notation, set G = U^^j^Gg and 

/o = {jeG:n^w{fj)<2'^} 

h = {j G G : < n} 

/2 = {jGG:22"^^/,)<ni} 

Jk = {j ^ G : Uk ^ w{fj) < Uk+i}, for k <m and 

Jm = {j G G : Tim ^ Wifj)} 

By Remark ll . 1 1 there exists at most one qo ^ d, with w{fq^^)ri {n, . . . , 2^"} 7^ 
and if such a go exists, then ij^w{fqQ) n {n, . . . , 2^*^} ^ 1. 

Apply Lemma 13.131 Then for q = 1, . . . , d there exists Fq C {xfc : ran /? R 
ranxfc 7^ 0} with {minsuppxfc : k £ Fq\ £ S2 such that 



m-l 



(17) 2"|/3(x)| < + +VV 



^ ^ ^k=2j&Jk k=l j&Jk 



+ > ^7T + > ^7T + -'-2" > > Cfc 
je/i ie/2 ^ q=\k(iF^ 

Just as in the proof of Corollary 13.141 notice the following. 

™_ 2"fc \ 

(1^) X] X] 2"'(/i)+"fe-i ^ 22" 

2n ^ 2" 2 



20 S.A. ARGYROS, P. MOTAKIS 

By the definition of the coding function a we get 

^ ^ 1000 

J 6/1 

1 ^ 

(21) -C2"J] J]cfe^C2"max{ j;cfc:(? = l,...,p} = C2" Ck 

^ q=l k&Fq keFq ^SFq^ 

for some 1 ^ qo ^ p. 

Set = Fq^ and apply (fT8|) to (f2T]) to pT|) to derive the desired result. 

□ 

Lemma 3.16. Let x = X^^^ c^x^ be a (n, e) s.c.c. ^ 4 such that 

the following are satisfied: 

(i) {xk}T=i is (C^,K}r=i) «-I^IS with 22^^ < m. 
(i) minsuppx > 4C22" and e < (40C23")-i. 

Let also {/3g}g^]^ be a very fast growing and 5j-admissible sequence of 
/3-averages with j ^ n — 3. Then we have that 

2" ^ < ^ + 2C2"e + C2'-e 

q=l q=l ^^Pl> 

Proof. Set 

Ji = {q : there exists at most one k such that ran/?^ n ranx^ / 0} 

J2 = {1,...,4\J2 

Gi = {k : there exists q G Ji with ran /3g n ranx^ 7^ 0} 
Then {minsuppx^ : € Gi} € 5„_2 and it is easy to check that 

d 

(22) 2" J] |/3,(x)| ^ 2^2"|| CkXkW < C2'^e 

qeJi keGi 

For q £ J2, choose Fg C {1, . . . , m} as in Lemma . 1 5 1 and set F = Uggjj-Fg. 
Then {minsuppxfc : G F} G 5„_i, therefore X]geJ2 SfceF, ^fc < 2e. 
Lemma 13.151 yields that 

(23) 2"^|/3,(x)|< - + 2C72"e 
Combining (p2|) and ([23l) . the result follows. 

□ 



Proposition 3.17. Let {yjjjeN be {C,{ni}i) a-RIS in Xjgp, {xjtljtgN be a 
block sequence of {yjjigN, Xk = 2™'* X^igFfc '^iVi satisfying the following: 

(i) {mk}km is a strictly increasing sequence of naturals. 

(ii) SieFfe cfyj is a {mk,ek) s.c.c. with 2^™'= < rirainFf 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



21 



(iii) minsuppj;fc > 4(722™'= and et < (40C23"^'=)-\ for all /c € N. 
Then a[{xk}k) = as well as P[{xk}k) = 0. 

Proof. Proposition 13.81 yields that a[{xk}k) = 0. To prove that P[{xk}k) = 
0, we shall make use of Proposition 13.41 Let £ > and choose jo G N such 
that 

8C ^8C £ 

For j ^ jo choose kj, such that rrik. ^ j + 3 and , < |. For A: ^ 

Lemma [3.161 vields that if {/3g}J^^^ is a very fast growing and 5j-admissible 
sequence of /3-averages and s(/3g) > j'o, for g = 1, . . . , d, we have that 

El „ , , I 8C 8C 3 £ e 

\Pa{xk)\ < h > ^ H <- + - = £ 

9=1 J>JO 

□ 

Corollary 3.18. Let {xfoj^gN be a normalized block sequence in Xjgp . Then 
there exists a further normalized block sequence {y/cj/cGN of {xk}k&i-, such 
that a[{yk}k) = as well as = 0. 

Proof. If a(y{xk}k) = and I3{^{xk}k) = 0, then there is nothing to prove. 
Otherwise, if > or /3({a:;fc}fc) > 0, apply Proposition 13.51 to con- 

struct a seminormalized block sequence {zk}k&i^ satisfying the assumption 
of Proposition [3T8l Then a[{zk}k) = 0. Proposition [3T2] yields, that pass- 
ing, if necessary, to a subsequence, we have that {zk^k&n is (7, {nk}k) a-RIS. 

If = 0, set yk = jj^^fc and {yk}km is the desired sequence. 

Otherwise, if I3(y{zk}k) > 0, apply once more Proposition 13.51 to con- 
struct a seminormalized block sequence {i«fc}fceN) satisfying the assumption 
of Corollarv 13.171 Set = -n^—n Wk and {y^lfceN is the desired sequence. 

□ 



4. cq spreading models 

This section is devoted to necessary conditions for a sequence {2;^}^ to 
generate a cq spreading model. At the beginning a Ramsey type result 
is proved concerning type II functionals acting on a block sequence {xfcj/c 
with /3({2;fc}fc) = 0. Then conditions are provided for a finite sequence to be 
equivalent to the basis of ^J^. This is critical for establishing the HI property 
and the properties of the operators in the space. Moreover it is shown that 
any block sequence {xk}k with a[{xk}k) = and = contains a 

subsequence generating a cq spreading model. Another critical property re- 
lated to sequences generating cq spreading models is that increasing Schreier 
sums of them define a-RIS sequences. 



22 S.A. ARGYROS, R MOTAKIS 

A combinatorial result. 

Definition 4.1. Let xi < X2 < X3 be vectors in Xjgp, / = ^Yl'j=ifj be 
a functional of type II, such that supp / fl ranxj 7^ 0, for i = 1,2,3 and 
jo = min{j : ran/j n ran 2:2 7^ 0}- If ran/jg fl lanxs = 0, then we say that 

/ separates xi,X2,X3. 

Definition 4.2. Let i,j G N. If there exists f e W a functional of type II, 
such that i,j G w{f), then we say that i is compatible to j. 

Lemma 4.3. Let xi < a;2 < • • • < Xm be vectors in Xjgp, such that there 
exist £ > and {fkY^''^^^ functionals of type II satisfying the following. 

(i) fk separates xi,Xk, x^, for A; = 2, . . . , m — 1 

(ii) If fk = ^Ejii/j' and jk = mm{j : ran/j= n vanxk 7^ 0}, then 
w{fj^) is not compatible to w{fj^) for k ^ £. 

(iii) \fk{xm)\ > e for /c = 2, . . . , m - 1 

Then there exists a /3-average /? in of size s(/3) = m — 2 such that 
P{Xm) > e. 

Proof. Set Qk = sgn(/fe(xm))/fc|ran2;™, for /c = 2, . . . , m - 1. Then gk is a 
functional of type II in W. We will show that the have disjoint weights 
w{gk)- 

Towards a contradiction, suppose that there exist k ^ £ and i G w{gk) n 
w{ge)- By (i) and the way type II functionals are constructed, it follows that 

//cl[minsuppa;2,...,™iiisuppa;m._i] /€|[minsuppa;2,...,™iiisuppa;m-i] ' '-'^■^i^ COntradictS 
(ii). 

By the above, it follows that if we set /3 = Y1T=2 9kj then /3 is the 
desired /3-average. 

□ 

Lemma 4.4. Let xi < a;2 < • • • < Xm be vectors in Xjgp , such that there 
exist e > and {fk}k'=2 functionals of type II satisfying the following. 

(i) fk separates xi,Xk, Xm, for fc = 2, . . . , m — 1 

(ii) If fk = \ Y.f=ifj and jk = min{j : ran/j= n ranxfc ^ 0}, then 

^^^{fl) = w{f'^,)^oxki^L 

(iii) If i'f^ = min{j : ran ("Iran ^ 0}, then w{f^, ) ^ w{fi) for k ^ £. 

(iv) \fk{xm)\ > £ for = 2, . . . ,m - 1 

Then there exists a /3-average /3 in W of size s{j3) = m — 2 such that 
/3{xm) > e. 

Proof. As before, set gk = sgn{fkixm))fk\Ta.nxm^ for /c = 2, . . . , m - 1. Then 
gk is a functional of type II in W. We will show that the gk have disjoint 
weights w{gk). 

Suppose that there exist k ^ i and i G w{gk) n w{gi). By (i), (ii) and the 
way type II functionals are constructed, it follows that 

/fe|[minsuppa;2,.--iniiiisuppa;m] ~ |[minsuppx2,...,minsuppa;m] 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



23 



This leaves us no choice, but to conclude that w{fj, ) = w{fj,), a contradic- 
tion. 

It follows that if we set /3 = Y1T=2 9k ^ then (3 is the desired /3-average. 

□ 

Proposition 4.5. Let {xfcjfceN be a bounded block sequence in Xjgp , such 
that /3({xfc}fc) = 0. Then for any e > 0, there exists M an infinite subset of 
the naturals, such that for any ki < k2 < (z M, for any functional f GW 
of type II that separates x^^ , , , we have that |/(x/c-)| < e, for some 
{1,2,3}. 

Proof. Suppose that this is not the case. Then by using Ramsey theorem 
[22], we may assume that there exists e > such that for any k < i < m £ 
N, we have that there exists fk,e,m a functional of type II, that separates 
and \fk,e,m{xk)\ > e, \fk,e,m{xe)\ > e and \ fk,i,m{xm)\ > e. 
For 1< < m, if = i Y:%i set 

ik,m = min{i : lanfj''^ n ranxi ^ 0} 
jk,m = min{j : ran /j"'™ n ran Xfc / 0} 
jk,m = min{j : ran /j"'™ n ran / 0} 
Notice, that for 1 < < m, since \ fi,k,mixi)\ > £, it follows that 

1 £ 

> 



2'^(Afe™ ) II max supp xi 

By applying Ramsey theorem once more, we may assume that there exists 
ni G N, such that for any 1 < A; < m, we have that w{f^^^) = ni 

Arguing in the same way and diagonalizing, we may assume that for 
any A; > 1, there exists € N such that for any m > k, we have that 

Ai = {{kj} -.nk^ui and Uk is compatible to n^} 

A2 = {{k,£} G [N \ {1}]^ : Uk n£ and is not compatible to n^j 

^3 = {{k,e} ■.nk = ne} 

Once more, Ramsey theorem yields that there exists M an infinite subset 
of the naturals, such that [M]^ c Ai,[M]^ C A2, or [Af]^ c ^3. 

Assume that [M]-^ C Ai and for convenience assume that M = N \ {!}. 
Choose ko > 1 such that /cq > max supp xi. Since ni is compatible to n2 and 
in general nk~i is compatible to n^, for A; > 1, it follows that there exists a 
functional f = \ Sj=i fj of tyP^ II in W , such that ran / fl ranxi ^ and 
for A: = 1, . . . , Aq there exists j^, with w{fj^) = Uk, for A; = 1, ... , kQ. 

Since minsupp/i ^ max supp xi it follows that {fj}j=i can not be 5i- 
admissible, a contradiction. 



24 



S.A. ARGYROS, P. MOTAKIS 



Assume next that [M]^ C ^2- Lemma HT3l yields that > and 

since this cannot be, we conclude that [M]^ C A3, therefore there exists 
no € N, such that = no, for any k £ M. 

Assume once more that M = N \ {1} and set 

B = {{k,i,m} e [n\{i}f : wifp'n = wifyn} 

If there exists M an infinite subset of the naturals, such that [M]^ C 
B'^, Lemma [4.41 yields that P[{xk}k) > 0, therefore by one last Ramsey 
argument, there exists M an infinite subset of the naturals, such that [M]^ C 
B. 

By the above, we conclude that for m ^ 4, ranx^ C ran/|j™ and 

\f]Z(^k)\>2e,foik = 2,...,m-2. 

Set fm = f'j^ ^-nd let / be a li;* limit of some subsequence of {fm}m&i- 
Then ^ 2e, for any k^ 2. Corollary 12.101 yields a contradiction and 

this completes the proof. 

□ 

Remark 4.6. The proof of Proposition 14.51 is the only place where the 
condition I3(^{xk}k) = is needed. This makes necessary to introduce the 
/3-ayerages and their use in the definition of the norm. 

Finite sequences equivalent to i^o basis. 

Proposition 4.7. Let xi < ■ ■ ■ < x„ be a seminormalized block sequence 
in jCjgp , such that \\xk\\ ^ 1 for A; = 1, . . . , n and there exist n + 3 ^ ji < 
' ' ' < in strictly increasing naturals such that the following are satisfied. 

(i) For any k^ G {l,...,n}, for any k ^ k^^k G {l,...,n}, for any 
{ag}q^2 fs-st growing and 5j-admissible sequence of a-ayerages, 

with j < jfcg and s{ai) > minsuppa^fc^, we have that Ylq=i |q^<?(^A;)I < 
1 

n-2" • 

(ii) For any /cq G {l,...,n}, for any k ^ kQ,k {l,...,n}, for any 
{f3q}q^i yery fast growing and 5j- admissible sequence of /3-ayerages, 

with j < and s(/3i) > minsuppx^p, we have that Ylq=i \(^q(.^k)\ < 
1 

n-2" ■ 

(iii) For A; = l,...,n— 1, the following holds: maxsuppxfc < 

(iy) For any 1 ^ ki < k2 < k^ ^ n, for any functional f £ W of type II 
that separates Xki,Xk2,Xk^, we have that \f{xkj\ < for some 

iG {1,2,3}. 

Then {xk}^^i is equivalent to £^0 basis, with an upper Constance 3 + 
Moreover, for any functional / G of type Iq, with weight = j < ji, 

we have that \ f{Ylk=i^k)\ < 

Proof. By using Remark ll.3l we will inductively prove, that for any {ck}^^i C 
[— 1, 1] the following hold. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 25 

(i) For any f eW, we have that |/(I]fc=i CfcXfc)| < (3 + Jr) max{|cA:| : 

= 1, . . . , n}. 

(ii) If / is of type la and w{f) ^ 2, then \f(J2k=i'^kXk)\ < (1 + 
Jr)niax{|cfc| : k = 1, . . . ,n}. 

(hi) If / is of type I« and w{f) = j < ji, then \fiJ^k=i(^kXk)\ < 

^"^j" max{|cfc| : fc = 1, . . . , n}. 

For any functional / G Wq the inductive assumption holds. Assume that 
it holds for any / G Wm and let / € Wm+i- If / is a convex combination, 
then there is nothing to prove. 

Assume that / is of type Iq, / = i Ylq=i '^qi where {0^}^^]^ is a very fast 
growing and cSj-admissible sequence of a-averages in Wm- 

Set ki = min{A; : ran / n ran Xfc 7^ 0} and qi = min{g : ran Uq fl ran 7^ 
0}. 

We distinguish 3 cases. 
Case 1: j < ji- 

For q > qi, we have that s{aq) > minsuppxjt^, therefore we conclude that 

n ^ 

(24) ^ \agC^CkXk)\ < — max{|cfc| : k = l,...,n} 

q>qi k=l 

while the inductive assumption yields that 

n 2 

(25) \aq^C^CkXk)\ < (3 + — )max{|cfe| :k = l,...,n} 

k=l 

Then (I24p and (|25p allow us to conclude that 

" 3 + 4r 

(26) \f(^CkXk)\ < max{|cfc| ■.k = l,...,n} 

k=l 

Hence, (iii) from the inductive assumption is satisfied. 

Case 2: There exists ko < n, such that jk^ ^ j < jko+i- 
Arguing as previously we get that 

3 + 4r 

(27) \f(.y~] CkXk)\ < . ^" max{|cfc| : k = 1,. . . ,n} 

k>ko 

and 

(28) \fi^ CkXk)\ < ^max{|cfc| :k=l,...,n} 

k<ko 

Using (i27|l . (f28]l . the fact that \f{xko)\ ^ 1 and jki^ ^ n + 3, we conclude 
that 

n 2 

(29) \fC^CkXk)\ < (1 + — )max{|cfc| :k = l,...,n} 

k=i ^ 

Case 3: j ^ jn 



26 



S.A. ARGYROS, P. MOTAKIS 



By using the same arguments, we conclude that 
n ^ 

(30) \fC^CkXk)\ < (1 + — )max{|cfc| :k = l,...,n} 

k=l 

Then (j26|) . ([29|) and (f30|) yield that (ii) from the inductive assumption is 
satisfied. 

If / is of type I^, then the proof is exactly the same, therefore assume that 
/ is of type II, / = ^ Sj=i /?> where {fj}j^i is an 5i-admissible sequence 
of functionals of type Iq, in Wm- Set 

E = {k:\f{xk)\^^} 
n ■ 2" 

El = {k £ E : there exist at least two j such that ran/j n ranx^ ^} 

Then #Ei ^ 2. Indeed, if ki < k2 < k^ £ Ei, then / separates Xk^,Xk2 and 
Xfeg which contradicts our initial assumptions. 

If moreover we set J = {j ■ there exists k G E \ Ei such that ran fj 
ranxfc 7^ 0}, then for the same reasons we get that #J ^ 2. 

Since for any j, we have that w{fj) G L, we get that w^fj) > 2, therefore: 

n 2 

(31) |/( X] < (l + ^)max{|cfc| : A;= l,...,n} 

n, 

(32) |/(^CfcXfc)| ^ 2max{|cfc| : A; = 1, . . . ,n} 

n ^ 

(33) |/(^Cfcj:fc)| ^ n • — ^max{|cfc| : A; = 1, . . . ,n} 
Finally, ([M]) to ([MD yield the following. 

n 2 

|/(^CfeXA..)I < (3 + — )max{jcA:| : A; = 1, . . . ,n} 

fc=i 

This means that (i) from the inductive assumption is satisfied an this com- 
pletes the proof. 

□ 

The spreading models of Xjgp . In this subsection we show that every 
seminormalized block sequence has a subsequence which generates either ii 
or Co as a spreading model. 

Proposition 4.8. Let {x^l^gN be a seminormalized block sequence in Xjgp , 

such that \\xk\\ ^ 1 for all A; € N and a[{xk}k) = as well as P[{xk}k) = 
0. Then it has a subsequence, again denoted by {xfcjfcgN satisfying the 
following. 

(i) {xfcjfcgN generates a cq spreading model. More precisely, for any 
n ^ A:i < • • • < A;„, we have that || Y17=i \\ ^ 4. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



27 



(i) There exists a strictly increasing sequence of naturals {jnlneNj such 
that for any n ^ ki < ■ ■ ■ < kn, for any functional / of type with 
^if) = j < jn, we have that 

" 4 

\fC^XkJ\ < — 

1=1 

Proof. By repeatedly applying Proposition 14.51 and diagonalizing, we may 
assume that for any n ^ ki < k2 < k^, for any functional / of type II 
that separates Xj.^,Xk2 ^^'^ ^fcs' '^^ have that \f{xk.)\ < i^^-^rr, for some 
{1,2,3}. 

Use Propositions 13.31 and 13.41 to inductively choose a subsequence of 
{xk}k£N, again denoted by {xfcjfceN and {jfc}fcgN a strictly increasing se- 
quence of naturals with jk ^ k + 3 for all /c G N, such that the following are 
satisfied. 

(i) For any ko G N, for any k ^ kQ, for any {aq}'^^i very fast growing 
and 5j-admissible sequence of a-averages, with j < j^p and s{ai) > 
minsuppxfco, we have that Y,'!i=i \aq{xk)\ < 

(ii) For any k^ G N, for any k ^ k^, for any {/3q}^^i very fast growing 
and tSj -admissible sequence of /3-averages, with j < jk^ and > 
minsuppj;fco, we have that X]g=i \Pqixk)\ < 

(iii) For G N, the following holds: max supp < 

It is easy to check that for n ^ ki < ■ ■ ■ < kn, the assumptions of Proposition 
14.71 are satisfied. 

□ 

Propositions 13.51 and 14.81 yield the following. 

Corollary 4.9. Let {xfcjfcgN be a normalized weakly null sequence in Xjgp. 
Then it has a subsequence that generates a spreading model which is either 
equivalent to cq, or to £i. 

Proposition 4.10. Let {xjtjjtgi^ be a normalized block sequence in Xjgp, 
that generates a cq spreading model. Then there exists {-FfcjfceN an increas- 
ing sequence of subsets of the naturals such that ^ minF^ for all 
A; G N and lim^ = oo such that by setting = X^jg^? x^, there exists 
a subsequence of {yk}k<^N, which generates an ^" spreading model, for all 
n G N. 

In particular, for any ko,n G N and e > 0, there exists F a finite subset 
of N with minF ^ /cq and {ck}kGF, such that 

(i) X = J2keF^kyk is a (n,e) s.c.c. 

(ii) ^ < ||x|| ^ f 

(iii) {vkjkeF is {'i,{nk}kGF) a-RIS and 2^" < UminF- 

(iv) For any 77 > there exists a functional / of type Iq, of weight w{f) = 
n such that f{x) > and maxsupp/ > maxsuppx. 



28 



S.A. ARGYROS, P. MOTAKIS 



Proof. Since generates a cq spreading model, Proposition 13 . 51 yields 

that a[{xk}k) = as well as I3[{xk}k) = 0, therefore passing, if necessary, 
to a subsequence {xk}keN, satisfies the conclusion of Proposition 14.81 

Choose {-FfcjfcgN an increasing sequence of subsets of the naturals, such 
that the following are satisfied. 

(i) #Fk < rniuFk for ah A; G N. 

(ii) > max{#Ffc, (maxsuppXmaxFj^}, for all A; G N. 

By Proposition 14.51 and Remark 13. IH we have that 1 ^ WukW ^ 4, for all 
k €N and passing, if necessary, to a subsequence, {yk}keN is (4, {nk}keN) 
RIS. 

Moreover it is easy to see, that for any /c € N, r/ > 0, there exists an 
a-average a of size s{a) = #Fk, such that a{yk) > 1 — ry and ran a C yk- 

This yields that a(^{yk}k) > 0, therefore we may apply Proposition 13.51 to 
conclude that {yk}keN has a subsequence generating an spreading model, 
for all n G N. 

We now prove the second assertion. Let ko,n G N and e > 0. By taking 
a larger /cg, we may assume that n^Q > 2^". Also, by taking a smaller e, we 
may assume that e < (160 • 2^")^^. 

Set e' = e(l — e) Proposition 11.81 yields that there exists {di, . . . ,dm} a 
finite subset of {fc : /c ^ ko} and {ck}]^^i such that x' = YlT=i ^kydk is a 
(n, e') s.c.c. It is straightforward to check that x = Xlfc^i i-c V^k ^ ('^j ^) 
s.c.c. 

By Corollarv 12.91 we have that ||x|| ^ ||. 

For some r/ > 0, /c = 1, . . . , m, choose an a-average ak of size s(afc) = 
#Frf^, such that UkiydJ > 1 - f? and rana C yk- Set / = ^(X^^^iafc), 
which is a functional of type Iq of weight w{f) = n such that f{x) > 
and maxsupp/ > maxsuppx. 

□ 

Corollary 4.11. Let 1" be an infinite dimensional closed subspace of Xjgp. 
Then Y admits a spreading model equivalent to cq as well as a spreading 
model equivalent to ii. 

Proof. Assume first that Y is generated by some normalized block sequence 
{x/fc}/fcgN- Corollary 13.181 and Proposition 14.81 yield that it has a further 
normalized block sequence {yfcjfceNj generating a spreading model equivalent 
to Cq. 

Proposition 14.101 yields that {yfcjfceN has a further block sequence gener- 
ating an ii spreading model. 

Since any subspace contains a sequence arbitrarily close to a block se- 
quence, the result follows. 

□ 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



29 



We remind that, as Propositions 13.51 and 14.81 state, if a sequence generates 
an li spreading model, then passing, if necessary, to a subsequence, it gener- 
ates an (.\ spreading model for any A; € N. However, as the next proposition 
states, the space Xjgp does not admit higher order cq spreading models. 

Proposition 4.12. The space Xjgp does not admit Cq spreading models. 

Proof. Towards a contradiction, assume that there is a sequence {x^j/jgN hi 
Xjgp , generating a Cq spreading model. Then it must be weakly null and we 
may assume that it is a normalized block sequence. By Proposition 14.101 
it follows that there exist {-Ffcj/cgN increasing, Schreier admissible subsets 
of the naturals and c > such that || X]j=i SigF^ ^ n ■ c for any 
n ^ A;i < . . . < Since for any such F]^^ < ■ ■ ■ < Fj.^ we have that 
U^^iF^^ € 52, it follows that {a^fcjfceN does not generate a Cg spreading 
model. 

□ 

Corollary 4.13. Let Y be an infinite dimensional closed subspace of Xjgp. 
Then Y* admits a spreading model equivalent to £i as well as a spreading 
model equivalent to Cg, for any n € N. 

Proof. Since Y contains a sequence {xfcjfcgN generating a spreading model 
equivalent to cq, which we may assume is Schauder basic, then for any 
normalized {a^^jfcgN C Y*, such that x^(xm) = 6n,m for n, m G N, we have 
that passing, if necessary, to a subsequence, {x^jfcgN generates a spreading 
model equivalent to £i. 

To see that Y* admits a spreading model equivalent to Cq for any n G N, 
take the previously used sequence {x^j^gN- Working just like in the proof 
of Proposition 14. 10] find {i^fcjfcgN successive subsets of the natural such that 
minFfc ^ #Ffc, for ah fc S N, if = J2ieF^: A; G N, then {yk}k€N is 

seminormalized and there exists a very fast growing sequence of a-averages 
{a/cjfceN C W such that lim'mf Uki^^^p^ Xi) ^ 1. 

Then, if c = limsup;. ||yfc||,we evidently have that liminffc ||aA;|| ^ 1/c and 
since for any n G N, F G 5„, we have that -^Ylfq^F '^q ^ functional of 
type Iq, in W, it follows that || Ylfq^F^qW ^ This means that, {ak\ken 
generates a spreading model equivalent to Cq, with an upper constant 2". 

Let /* : X*gp — > Y* be the dual operator of I : y — > Xjgp . Then 

{I*{ak)}ken generates a spreading model equivalent to Cg, for any n G N. 
Since ||/*j| = 1, all that needs to be shown is that liminffc > 0. 

Indeed, 

liminf ||r(afc)|| ^ lim inf (/* a^) ( ) = lim inf ( ^'^^'^ ) ^ 1/c 



□ 



30 



S.A. ARGYROS, P. MOTAKIS 



5. Properties of Xj^p and C{X^^p) 

In this final section it is proved that j£jgp is hereditarily indecomposable 
and the properties of the operators acting on infinite dimensional closed 
subspaces of Xjgp are presented. 

Dependent sequences and the HI property of Xjgp . In the first part 
of this subsection we introduce the dependent sequences, which are the main 
tool for proving the HI property of Xjgp and studying the structure of the 
operators. 

Definition 5.1. A sequence of pairs {{xk, fk)}k=i^ where xi < • • • < x„ G 
Xjgp and /i < • • • < /n £ W, is said to be a 1-dependent sequence (respec- 
tively a 0-dependent sequence) if the following are satisfied. 

(i) {fk}k=i is 5i-admissible special sequence of type 1^ functionals, 
fkixk) = 1 when {{xk,fk)}k=i is 1-dependent (respectively fkixk) = 
when {{xk, fk)}k=i is 0-dependent), maxsuppx^ < maxsupp fk for 
k = 1, . . . ,n and ran fk fl ran Xm = for k ^ m. 

(ii) Xk = 6'fe2™'^ XliGFfe CiVi, where T^ieF^ '^iVi is a (mfc,efc) s.c.c. with 
rrik = w{fk) and ^ ^ 6*^ < ||, for /c = 1, . . . , n. 

(iii) {y^}i(zF^^ is (4, {njigi?^) a-RIS with 2^'"'= < 

'^min Fl- ■ 

(iv) minsuppxfc > 240n2"22'"* and Sk < (320n2"23™''-)-^ 

(v) 2™i > 60n2'^ and if po = minsuppxi, then ^ + Ep>po ^ < 

Proposition 5.2. Let {{xk, fk)}'kLi be a 1-dependent sequence in Xjgp and 
set Uk = X2k-i — X2k, for k = \, . . . ,n. Then we have that: 

(i) 'n\\T.'^=l^k\\^l 

(ii) ^IIELi^^lK^ 

Proof. Since | Y^h=i fk is a type II functional in W , it immediately follows 
that i||I]fc"iXfc|| ^ ^Yi=ifk{xk) = 1- 

By Corollary ESI it follows that 1 = fk{xk) ^ \\xk\\ ^ 7 • 46*^ ^ 29 and 
this yields that 1 ^ ||yfc|| ^ 58, for /c = 1, • • • , n. Set jk = 'ni2k-i — 2. We 
will show that the assumptions of Proposition 14.71 are satisfied. Prom this, 
it will follow that ^|| Yllt=i VkW ^ ^8^, which is the desired result. 

The first and second assumptions, follow from Lemmas 13.71 and 13.161 re- 
spectively and the definition of the 1-dependent sequence. 

The third assumption follows from the fact that, by the definition of the 
1-dependent sequence, maxsupp/^ > maxsuppx^, for k = l,...,2n and 
the definition of the coding function a. 

It remains to be proven that the fourth assumption is also satisfied. Let 
1 ^ fci < A;2 < A;3 ^ n and g = ^ Sj=i 9j be a functional of type II that 
separates y^^ , yk^ and yk^ ■ 

Set jo = min{j : langj fl ran 2/^3 7^ 0} and assume first that 'w{fjg) = 
m2fc3-i Since supp 5 n supp y^^ / 0, it follows that gj^-i = f2k-i-2 and there 



HEREDITARY INVARIANT SUBSPACE PROPERTY 31 

exists / an interval of the naturals, ran 1/^2 ^ ^1 such that g = Ylk=i fk)- 
This yields that ^(yfcj) = 0- 

Otherwise, if 'w{fjg) ^ rn2ks-i, set g' = g\ra.nyk.^ and Corollarv 13.141 yields 
the following. 

\9'{yks)\ < 2 • ^^(^mzfcg-i + 22m2fc3_i + 2"'fe) ^'"^''^~^^"'2'=3-i) 

ie«;(g'): 

■!«(3j)<n 

Since (7 separates yk-^ , and y^g , we have that min w{g') ^ po = min supp xi , 
therefore 

1 ^ 1 1 1 

^ 2"'fe) ^ 2^ 2P ^ ^ p2 < 280 ■ 2n22" 

jeiS{g'): P^PO P^Po 

w{gj)<n 

Moreover, we have that 

11^ 3 1 



2m2fc3-i "T 22m2fc3_i ^m2fe3-i ^ 20 • 2n22" 

We conclude that [^(yfcg)! < 2n2'^" ^ nl"' "^liich means that the fourth 
assumption is satisfied. 

□ 

The next proposition is proved by using similar arguments. 

Proposition 5.3. Let {{xk^ fk)}'k=i ^ 0-dependent sequence in Xjgp. 
Then we have that: 

InV^ „ 112 

-II > XkW ^ 

n ^-^ n 

k=l 

We pass to the main structural property of Xjgp . 

Theorem 5.4. The space Xjgp is hereditarily indecomposable. 

Proof. It is enough to show that for X, Y block subspaces of Xjgp , for any 
e > 0, there exist x G X and y (^Y, such that ||x + y|| ^ 1 and ||x — y|| < e. 
Let n G N, such that ^ < e. 

By Corollarv 13.181 and Proposition 14.81 there exist {xfcjfceN a normalized 
block sequence in X and {yk}k€N a normalized block sequence in Y, both 
generating cq spreading models. 

Choose m-i G Li (see the definition of the coding function) such that 
2-1 > 60 • 2n22", po G N such that ^ + Ep>po ^ < 280.2«22^22-i ^nd 
< ei < (320 • 2n2"23'"i)-i. 

By Proposition 14.101 there exists x'/ = J2ieFi ^ ("^ij^i) s.c.c. and /i 
a functional of type Iq such that 

I'i'l < \\r"\\ < 

2™! ^ 11 1 II ^ 2™! 

(h) {xk}keFi is (4, {nfclfcgFj a-RIS and 2'^'^^ < rimmF- 
(iii) /i is of weight w{fi) = mi and fi{x'() > 29^?m" ^'^d maxsupp/ > 
max supp x'(. 



32 



S.A. ARGYROS, P. MOTAKIS 



Set 01 = (2™i/i(4))"' and x'^ = 9^2^^ EieF, 

Continue in the same manner and construct x'^ , . . . , and /i , . . . , f2n 
such that {(a^fc, /fc)}fc=i is a 1-dependent sequence and x'2j^_i G ^■,^'2k ^ 
for fc = 1, . . . , n. 

Set X = i XlLi and y = ^ Y2=i Ak- By applying Proposition [521 

the result follows. 

□ 

The structure of /3(y, Xjgp). For Y a closed subspace of Xjgp and T : 
Y — )• jCjgp we show that T = A/y.^^gp + 5* with 5:1"—)- Xjgp strictly 
singular. 

Proposition 5.5. Let y be a subspace of Xjgp and T : F — > Xjgp be a 
linear operator, such that there exists {a^fcjfceN a sequence in Y generating a 
Co spreading model and limsupdist(rxfc,Mxfc) > 0. Then T is unbounded. 

Proof. Passing, if necessary, to a subsequence, there exists 1 > 6 > 0, such 
that dist{Txk,M.Xk) > 5, for any /c S N. 

Since {xfcjfcgN generates a cq spreading model, it is weakly null. Set 
yk = Txk and assume that T is bounded. It follows that passing, if necessary, 
to a subsequence of {xfej^gN, then {yk}k(m also generates a cq spreading 
model. 

We may assume that {xA,.}A,.gN, as well as {yk}k&i are block sequences 
with rational coefficients. And lim^ = 1, as well as lim^ \\yk\\ = 1- 

If this is not the case pass, if necessary, to a further subsequence of 
{xfcjfcgN; such that both {xfcjfcgN and {yk}k&n are equivalent to some block 
sequences with rational coefficients {x'^jfcgN, {^fclfceN respectively, and more- 
over limfc ||x'^|| = 1, as well as lim^ ||?/^|| = 1. Set Y' = [{x'i^}ke^\ and 
T' : y — > Xjgp , such that T'x'^ — v'k- easy to check that T' is also 

bounded and dist(T'x'^, Rx'^^,) > 5' , for some 5' > 0. 

Set Ik = ran(ranxfc Uranyfc) and passing, if necessary, to a subsequence, 
we have that {/fcjfcgN is an increasing sequence of intervals of the naturals. 

We will choose {/fcjfcGN C W, such that fk{yk) > f , fk{xk) = and 
ran/fc C Ik, for all A; € N. 

The Hahn-Banach Theorem, yields that for all A; G N, there exists G 
-Bx*gp ! such that /^(y^) > S, fj^ixk) = and van f'^ C Ik-, for all € N. 

By the fact that jCjgp is reflexive, it follows that W is norm dense in 
-S;e*gp ) therefore there exists G W with \\fl — f'^W < j and ran/^' C Ik, 
for all A; G N. 

It follows that f'^iyk) > < 3 and /^'(x^) is rational, for ah 

ken. 

Furthermore, there exists gk G W, such that gk{xk) > 1 ~ 31 dki^k) is 
rational and ran gk C Ik, for all A; G N. 

Set fk = \{fk — gfc(xfcj fffc)- doing some easy calculations, it follows 
that the fk are the desired functionals. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



33 



By copying the proof of Proposition l4.10l for any fco S N, n € N and e > 0, 
there exists F a finite subset of the naturals with minF ^ fco and {ck}k&F 
such that 

(i) HkeF^^kXk is a (n,e) s.c.c. 

(ii) If z = 2" Y.k^F CkXk, then f ^ ^ 28. 

(iii) {xk}k£F is (4, {rifcjfcgjT') a-RIS and 2^" < riminF- 

(iv) There exists a functional / of type Iq with weight w{f) = n such 
that f{z) = 0, maxsupp/ > maxsuppz and if w = 2"^ J2keF '^kUk, 
then f {w)> ^. 

Arguing in the same way as in the proof of Theorem 15.41 for some n € N, 
we construct a sequence {zk}^^i and {gk}k=i such that {{zk, gk)}k=i 0" 
dependent and if Wk = Tzk, then gk{wk) > | and rang^ n ranwm = J2(, for 
k ^ m. 

Then / = ^ X]fc=i 9fc a functional of type II and ^||X]fc=i^fcil ^ 

Moreover, Proposition 15.31 yields that ^ |[ X]fc=i -Zfcll ^ It follows that 
||T|| > Since n was randomly chosen, T cannot be bounded, a contra- 
diction which completes the proof. 

□ 

In [14], it is proven that if X is a hereditarily indecomposable complex 
Banach space, y is a subspace of X and T : y — ?■ X is a bounded linear 
operator, then there exists A G C, such that T — Xlyx '■ Y ^ X is strictly 
singular. Here we prove a similar result for Xjgp . 

Theorem 5.6. Let Y be an infinite dimensional closed subspace of Xjgp 
and T : Y ^ ^isp ^"6 a bounded linear operator. Then there exists A € M, 
such that T — XI^^^^^ : Y — )• Xjgp is strictly singular. 

Proof. If T is strictly singular, then evidently A = is the desired scalar. 

Otherwise, choose Z an infinite dimensional closed subspace of Y, such 
that T : Z ^isp ^^^o isomorphism. Choose {a^^l^gN a normalized 

sequence in Z generating a cq spreading model. Proposition 15.51 yields that 
liuik dist{T Xk,^Xk) = 0. Choose {Afcl^gN scalars, such that limfe ||Tj;fc — 
AfcXfcll = and A a limit point of {AfcjfcgN- 

We will prove that S = T — Xlyx is strictly singular. Towards a 

contradiction, suppose that this is not the case. Then there exists {y^lfceN a 
normalized sequence in Y generating a cq spreading model and 6 > 0, such 
that \\Syk\\ = ||(T - XI^^^^^ )yk\\ > 6, for all keN. 

As previously, we may assume that {xfcjjfcgp}, {yfelfeeN as well as {Syk}k€N 
are all normalized block sequences generating cq spreading models. 

By Proposition l5.5l and passing, if necessary, to a subsequence, there exists 
G M, such that lim^ \\Syk — nVkW = 0. Evidently / 0, otherwise we would 



34 



S.A. ARGYROS, P. MOTAKIS 



have that hnifc HS'yfcH = 0. Pass, if necessary, to a further subsequence of 

{yk}km, such that X]fcli \\Syk - mil < 

Observe that hm^ ||>S'xfc|| = and therefore we may pass, if necessary, to 

a subsequence of {xk}keN, such that X^fc^i 11*5*3;/; || < 

Arguing in the same manner as in the proof of Theorem 15.41 for some 
n G N construct {-Zfc}^" ^ ^^'^ {/fc}fc=i such that Z2k-~i is a hnear combination 
of {ykjken, Z2k is a hnear combination of {x^jfeeN and {{zk,fk)}lZi is a 1- 
dependent sequence. Set f = \ Z]fc=i /fc; which is a functional of type II in 
W. 

If Wk = Z2k-i - Z2k, Proposition [O] yields that ^\\ Ylk=i'"^k\\ ^ 
On the other hand, we have that 



-j^ rt 1 ^ 

-W^SWkW ^ -(II J^5z2fc-l|| - II X]^^2fc||) 

k=l k=l k=l 

^ ~(llIZ/^^2fc-l|| - \\^{Sz2k-l -flZ2k-l)\\ - 
k=l k=l 



n 



1/ 1/^*1 V^j^ 29|/i| 29|/x| 



> -{^Y.f^k-iiz2k-i] 232 ^ 

fc=i 

^ _H _ IH > _H 

2 4n ^ 4 

It follows that 1 1 51 1 ^ where n was randomly chosen. This means 
that S is unbounded, a contradiction completing the proof. 

□ 

Strictly Singular Operators. In this subsection we study the action of 
strictly singular operators on Schauder basic sequences in subspaces of Xjgp . 

Proposition 5.7. Let Y be an infinite dimensional closed subspace of j£jgp 
and r : y — )• Xjgp be a linear bounded operator. Then the following asser- 
tions are equivalent. 

(i) T is not strictly singular. 

(ii) There exists a sequence {xfcjfceN in Y generating a cq spreading 
model, such that {Txk}kGN is not norm convergent to 0. 

Proof. Assume first that T is not strictly singular and let Z be an infinite 
dimensional closed subspace of Y, such that T\z is an isomorphism. Since 
any subspace of Xjgp contains a sequence generating a cq spreading model, 
then so does Z. Since T\z is an isomorphism, the second assertion is true. 

Assume now that there exists {xfcjfcgN a sequence in Y generating a cq 
spreading model, such that {Txk}keN does not norm converge to 0. By 
Proposition 15.51 and passing, if necessary to a subsequence, there exists A ^ 
0, such that lim^ ||Txfc — Xxk\\ = 0. Passing, if necessary, to a further 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



35 



subsequence, we have that X^^^i \\Txk — Axfc|| < oo. But this means that 
{xfcjfceN is equivalent to {Txk]k&i-, therefore T is not strictly singular. 

□ 

Proposition 5.8. Let Y be an infinite dimensional closed subspace of jCjgp 
and S, T : y — )• y be strictly singular operators. Let also be 
a weakly null sequence in Y generating an ii spreading model, such that 
{STxk}k&i does not norm converge to 0. Then passing, if necessary, to a 
subsequence, {STxk\k&n generates a cq spreading model. 

Proof. Towards a contradiction, assume that this is not the case. Then 
passing, if necessary to a subsequence, {xfcjfcgN, {Txk}^^-^;^ and {STxk\k&i 
all generate li spreading models. 

Set yk = Txk and Zk = STxk- We may assume that {a^^}, {yk}k&i as well 
as {zk\k&i are all seminormalized block sequences. Set Ik = ran(ranxfc U 
ranyjfc U ranz^) for all fc G N and pass, if necessary, to a subsequence of 
{xfc}fc6N, such that {/fcjfcgN is an increasing sequence of intervals of the 
naturals and set jk = minljt. 

It is not hard to see that if Xlfce-F ^^^h i^ ^ C'^' ^) basic s.c.c. then 
J2keF (^kXk,J2k€F (^kVk as weh as J2keF'^kZk, are ah (n,2e) s.c.c. 

Moreover either a[{xk}k) > or /3[{xk}k) > and the same is true for 
{Vkjkm and {^felfceN- 

Arguing in the same way as in the proof of Proposition 13.51 there exists 
c > 0, such that for any n, A^q G N and e > 0, there exists F a finite subset 
of the naturals with minF ^ and {ck}keFi such that 

(i) X] X] '^'^y^' ^""^ X] '^^^'^ ^"^^ ('^'^^ 

fceF fcgF keF 

(ii) II ^'=^'^11 > ^' II ^'=^'=11 > ^' ^^'^ II '^'=^'=11 > ^ 

keF keF keF 

Choose {nfcjfcgN strictly increasing naturals, {-FfcjfcgN increasing subsets 
of the naturals and {ci}ii^Fk, such that if x'f^ = 2"*= X^igF^ (^i^hTx'^ = y'k = 
^^'^ EigFfc CiVi and STx'^ = 4 = 2"*= EieF^ ^i^i, then {x'^jfceN, {yU^eN and 
{z^jfcgN are all seminormalized and satisfy the assumptions of Proposition 
[3S1 Therefore a({x'^}fc) = 0,a[{y'i^}k) = and a[{z'f^}k) = 0. 

We will show that /3{{x'f^}k) > 0, as well as (3{{y'^}k) > 0. If P{{Xk}k) = 
0, then Proposition 14.81 yields that passing, if necessary, to a subsequence, 
{x'j^}km generates a cq spreading model and since {y^j^gN is seminormalized 
and Tx'i^ = y'^, so does {y^jfcgN- Proposition 15.71 yields a contradiction. For 
the same reasons we also conclude that /3({yfc}fc) > 0. 

Using the same arguments, we may construct {t^fcjfcgN a block sequence 
of {x'^jfcgN, such that both {iffcjfcgN and {Twk}k&i are seminormalized 
and satisfy the assumptions of Corollary 13.171 Therefore we conclude that 
a{{wk}k) = ^,P{{wk}k) = Q,a{{Twk}k) = and li{{Twk}k) = 0. Propo- 
sitions 14.81 and 15.71 yield a contradiction and this completes the proof. 

□ 



36 



S.A. ARGYROS, P. MOTAKIS 



The Invariant Subspace Property. 

Theorem 5.9. Let Y be an infinite dimensional closed subspace of j£jgp 
and Q, S,T : Y ^ Y he strictly singular operators. Then QST is compact. 

Proof. Since Xjgp is reflexive, it is enough to show that for any weakly null 
sequence {xfcjfcgN) we have that {QSTxk}keN norm converges to zero. Pass, 
if necessary, to a subsequence again denoted by {xfcjfceN, that generates 
some spreading model, which is, as we have shown, either equivalent to ii, 
or to cq. 

Assume first {xk}ken generates a cq spreading model. If {Txk}keN is not 
norm convergent, then it has a subsequence generating a cq spreading model 
as well. Proposition 15.71 vields a contradiction. 

If {xfclfcgN generates an ii spreading model and {STxk}k€N is not norm 
convergent, then Proposition 15. 81 vields that passing, if necessary, to a subse- 
quence of {xfcjfcgN, {STxk}keN will generate a cq spreading model. Arguing 
as in the previous case, we conclude that {QSTxk}keN is norm convergent 
and this completes the proof. 

□ 

Corollary 5.10. Let Y be an infinite dimensional closed subspace of J£jgp 
and S : y — 7- y be a non zero strictly singular operator. Then S admits a 
non-trivial closed hyperinvariant subspace. 

Proof. Assume first that S''^ = 0. Then it is straightforward to check that 
ker 5 is a non-trivial closed hyperinvariant subspace of S. 

Otherwise, if 5^ ^ 0, then Theorem 15.91 yields that is compact and 
non zero. Since S commutes with its cube, by Theorem 2.1 from [27], it 
is enough to check that for any a, /3 € M such that /? 7^ 0, we have that 
{al — 5)^ + 7^ 0. Since S is strictly singular, it is easy to see that this 
condition is satisfied. □ 

Corollary 5.11. Let Y be an infinite dimensional closed subspace of jCjgp 
and T : y — )• y be a non scalar operator. Then T admits a non-trivial 
closed hyperinvariant subspace. 

Proof. Theorem 15.61 yields that there exist A G M, such that S = T — XI 
is strictly singular, and since T is not a scalar operator, we evidently have 
that S is not zero. 

By Corollarv 15.101 it follows that 5 admits a non-trivial closed hyperin- 
variant subspace Z. It is straightforward to check that Z also is a hyperin- 
variant subspace for T. □ 

In the final result, which is related to Proposition 3.1 from [5], we show 
that the "scalar plus compact" property fails in every subspace of Xjgp . 

Proposition 5.12. Let Y be an infinite dimensional closed subspace of Xjgp . 
Then there exists a strictly singular, non compact operator S : Y Y. In 
fact, if S(Y) is the space of strictly singular operators on Y, then S(Y) is 
non-separable. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



37 



Proof. By Corollary I4.1H there exists a sequence {xfcjfcgN in ^ that gener- 
ates a spreading model equivalent to cq, say with an upper constant ci and 
by Corollary 14. 131 there exists a sequence {x1}km in ^* that also generates 
a spreading model equivalent to cq, say with an upper constant C2. There- 
fore {xfcjfcgN and {x^jfcgN are weakly null and we may assume that they are 
Schauder basic and that dim(y/[xfe]fc) = oo. We may also assume that there 
exist {zk}k€N in Y such that {x^j/cgN is almost biorthogonal to {zk}keN- 

For e > 0, set = Choose a strictly increasing sequence of 

naturals {gjjjgN, such that qj ^ M]^/2^+i- Set S : Y ^ Y, such that 
= I]fcii^gfe(^)^fc- Then: 

(i) S is bounded and non compact. 

(ii) S is strictly singular. 

We first prove that it is bounded. Let x €Y, \\x\\ = 1, x* G Y*, \\x*\\ = 1. 
For j ^ 0, set Bj = {k £ N : 1/2^+^ < \x*{xk)\ < 1/2^}. Since {xfejfcgN 
generates cq as a spreading model, it follows that Bj ^ Mi/2j+i ^ qj- Set 
Cj = {k G Bj : k = \ Cj- Evidently #-Dj ^ j and it is easy 

to see that #{qk '■ k G Cj} ^ mm{qi^ : k € Cj}, therefore, since {x^j^gN 
generates a spreading model equivalent to cq, it follows that 



I ^ x*{xk)x*g^{x)\ < C2max{|3;*(xfc)| : k G Cj} 

Therefore | EfceB, ^ C2 max{|2;*(xfc)| : k e Cj}+j/2^ ^ 

C2/2-' -\rj/2^. From this it follows that 

oo • _j_ 
IIS'xIl ^ > : ||x|| 

II II ^ 23 " " 

j=0 

The fact that S is non compact follows easily if you consider the almost 
biorthogonals {zk}keN of {a^g^,}fceN- Then {^fcjfcgN is a seminormalized se- 
quence in Y and {SzfclfcgN does not have a norm convergent subsequence. 

We now prove that S is strictly singular. Suppose that it is not, then 
there exists A / such that T = S — XI is strictly singular. Since XI is 
a Fredholm operator and T is strictly singular, it follows that S = T + XI 
is also a Fredholm operator, therefore dim(y/S'[y]) < oo. The fact that 
S[Y] C [xk]k and dim(Y/[xk]k) = oo yields a contradiction. 

Moreover, for any further subsequence {xl}keL of {x*^}keN^ if we set 
Slx = J2k&L^ki^)^k, then 5*^ satisfies the same conditions. This yields 
that S{Y) contains an uncountable e-separated set and is therefore non- 
separable. □ 

The last proof actually yields that if Y is an infinite dimensional closed 
subspace of Xjgp , then the space of strictly singular, non-compact operators 
of Y is non-separable. 



38 s.a. argyros, p. motakis 

References 

[1] D. E. Alspach and S. A. Argyros, Complexity of weakly null sequences, Dissertationes 
Math. (Rozprawy Mat.) 321 (1992), 44. 

[2] S. A. Argyros, K. Beanland and P. Motakis, The strictly singular operators in 
Tsirelson like reflexive spaces (in preparation). 

[3] S. A. Argyros and I. Deliyanni, Banach Spaces Of The Type Of Tsirelson 
,arXiv:math/920 7206 (1992). 

[4] S. A. Argyros and I. Deliyanni, Examples of asymptotic l\ Banach spaces, Trans. 
Amer. Math. Soc. 349, no. 3 (1997), 973-995. 

[5] S. A. Argyros, I. Deliyanni and A. G. Tolias, Strictly singular non-compact diagonal 
operators on HI spaces, Houston J. Math. 36, no. 2 (2010), 513-566. 

[6] S. A. Argyros, G. Godefroy and H. P. Rosenthal, Descriptive set theory and Ba- 
nach spaces. Handbook of the Geometry of Banach Spaces, Vol. 2, North-Holland, 
Amsterdam (2003), pp. 1007-1069. 

[7] S. A. Argyros and R. G. Haydon, A hereditarily indecomposable Coo-space that solves 
the scalar-plus-compact problem. Acta Math. 206, no. 1 (2011), 1-54. 

[8] S. A. Argyros and A. Tolias, Methods in the theory of hereditarily indecomposable 
Banach spaces. Memoirs of the American Mathematical Society 170 (2004), vi-|-114. 

[9] M. Aronszajn and K. T. Smith, Invariant subspaces of completely continuous opera- 
tors, Ann. of Math. 60 (1954), 345-350. 
[10] J. Bourgain and F. Delbaen, A class of special Loo spaces. Acta Math. 145, no. 3-4 
(1980), 155-176. 

[11] P. G. Casazza, W. B. Johnson and L. Tzafriri, On Tsirelson's space, Israel J. Math. 

47, no. 2-3 (1984), 81-98. 
[12] P. G. Casazza and T. Shura, Tsirelson's Space, Spriger Lecture Notes 1363 (1989). 
[13] P. Enflo, On the invariant subspace problem for Banach spaces. Acta Math. 158, no. 

3-4 (1987), 213-313. 

[14] V. Ferenczi, Operators on subspaces of hereditarily indecomposable Banach spaces. 

Bull. London Math. Soc. 29, no. 3 (1997), 338-344. 
[15] T. Figiel and W. B. Johnson, A uniformly convex Banach space which contains no 

Ip, Compositio Math. 29 (1974), 179-190. 
[16] W. T. Gowers and B. Maurey, The unconditional basic sequence problem, J. Amer. 

Math. Soc. 6, no. 4 (1993), 851-874. 
[17] R. C. James, Bases and refelexivity of Banach spaces, Ann. of Math. (2) 52 (1950), 

518-527. 

[18] V. I. Lomonosov, Invariant subspaces of the family of operators that commute with 
a completely continuous operator, (Russian) Funkcional. Anal, i Prilozen. 7, no. 3 
(1973), 55-56. 

[19] V. D. Milman, Operators of class Co and Cq, Teor. Funkcii Funkcional. Anal, i 

Prilozen. No 10 (1970), 15-26. 
[20] E. Odell and Th. Schlumprecht, On the richness of the set ofp's in Krivine's theorem. 

Operator Theory, Advances and Applications 77 (1995), 177-198. 
[21] E. Odell and Th. Schlumprecht, A Banach space block finitely universal for monotone 

bases, Trans. Amer. Math. Soc. 352, no. 4 (2000), 1859-1888. 
[22] F. P. Ramsey, On a problem of formal logic, Proc. London Math. Soc. Series 2, 30 

(1930), 264-286. 

[23] C. J. Read, A solution to the invariant subspace problem, Bull. London Math. Soc. 

16, no. 4 (1984), 337-401. 
[24] C. J. Read, A solution to the invariant subspace problem on the space l\. Bull. London 

Math. Soc. 17, no. 4 (1985), 305-317. 
[25] C. J. Read, Strictly singular operators and the invariant subspace problem, Studia 

Math. 132, no. 3 (1999), 203-226. 



HEREDITARY INVARIANT SUBSPACE PROPERTY 



39 



[26] Th. Schlumprecht, An arbitrarily distortable Banach space, Israel J. Math. 76, no. 
1-2 (1991), 81-95. 

[27] G. Sirotkin, A version of the Lomonosov invariant subspace theorem for real Banach 

spaces Indiana Univ. Math. J. 54, no. 1 (2005), 257-262. 
[28] B. S. Tsirelson, Not every Banach space contains £p or co. Functional Anal. Appl. 8 

(1974), 138-141. 

National Technical University of Athens, Faculty of Applied Sciences, De- 
partment OF Mathematics, Zografou Campus, 157 80, Athens, Greece 
E-mail address: sargyros@math.ntua.gr, pmotakis@central.rLtua.gr